uniformly definable class

См. также в других словарях:

• mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• Europe, history of — Introduction       history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… …   Universalium

• Word problem for groups — In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a recursively presented group G is the algorithmic problem of deciding whether two words represent the same element. Although it… …   Wikipedia

• social science — social scientist. 1. the study of society and social behavior. 2. a science or field of study, as history, economics, etc., dealing with an aspect of society or forms of social activity. [1775 85] * * * Any discipline or branch of science that… …   Universalium

• Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… …   Wikipedia

• Silver machine — This article is about the device. For the Hawkwind song, see Silver Machine. Not to be confused with Silver Machines. In set theory, Silver machines are devices used for bypassing the use of fine structure in proofs of statements holding in L.… …   Wikipedia

• international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… …   Universalium

• protist — protistan /proh tis teuhn/, adj., n. protistic, adj. /proh tist/, n. any of various one celled organisms, classified in the kingdom Protista, that are either free living or aggregated into simple colonies and that have diverse reproductive and… …   Universalium

• Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers …   Wikipedia

• United States Constitution — P …   Wikipedia